symbolic execution

符号执行

热门查询

turtledove　　n. 斑鸠；情人
orderly　　adj. 有秩序的；整齐的；值班的 n. 勤务兵；传令兵；护理员 adv. 顺序地；依次地
top-up　　n. 修饰；润饰的文字；添加的饮料；追加的贷款（或者费用）
ST　　abbr. 标准时间（standard time）；Shipping装货单（Shipping Ticket）
JENKS　　[人名] [英格兰人姓氏] 詹克斯取自父名，来源于中世纪英语教名Jenk,Jenkin的逆序构词，除去了昵称后缀in; [地名] [美国] 詹克斯
beefcake　　n. 男子健美照片
giveaway　　n. 泄漏；免费样品；不正当的交易；有奖问答节目 adj. 泄露真相的；赠送的；极便宜的
asperity　　n. （表面的）粗糙；（气候等的）严酷；艰苦的条件；（性格）粗暴
information　　n. 信息，资料；知识；情报；通知
deployable　　adj. 可开展的
Troyes　　n. 特鲁瓦（法国城市）
cattle　　n. 牛；牲畜（骂人的话）；家畜；无价值的人 n. (Cattle)人名；(意)卡特莱
cursor　　n. 光标；（计算尺的）[计] 游标，指针
goodby　　n. (Goodby)人名；(英)古德拜 int. 再见（等于goodbye）
to　　prep. 到；向；（表示时间、方向）朝…方向 adv. 向前；（门等）关上 n. (To)人名；(柬)多；(中)脱(普通话·威妥玛)
signally　　adv. 显著地；突出地；非凡地
steno　　n. 速记；速记法；速记员
sanctimony　　n. 假装的圣人气派；假装的虔诚，假装的神圣
exaltation　　n. 得意洋洋，欣喜；提拔；举起
denominate　　adj. 有特定名称的 vt. 为…命名；把…称作…